منابع مشابه
Shape Calculus: Timed Operational Semantics and Well-formedness
The Shape Calculus is a bio-inspired calculus for describing 3Dshapes moving in a space. A shape forms a 3D process when combinedwith a behaviour. Behaviours are specified with a timed CCS-like pro-cess algebra using a notion of channel that models naturally bindingsites on the surface of shapes. Processes can represent molecules orother mobile objects and can be part of net...
متن کاملTimed Operational Semantics and Well-Formedness of Shape Calculus
The Shape Calculus is a bio-inspired calculus for describing 3D shapes moving in a space. A shape forms a 3D process when combined with a behaviour. Behaviours are speci ed with a timed CCS-like process algebra using a notion of channel that models naturally binding sites on the surface of shapes. In this paper, the full formal timed operational semantics of the calculus is provided, together w...
متن کاملWell-timed, brief inhibition can promote spiking: postinhibitory facilitation.
Brief synaptic inhibition can overwhelm a nearly coincident suprathreshold excitatory input to preclude spike generation. Surprisingly, a brief inhibitory event that occurs in a favorable time window preceding an otherwise subthreshold excitation can facilitate spiking. Such postinhibitory facilitation (PIF) requires that the inhibition has a short (decay) time constant tauinh. The timescale ra...
متن کاملWell-Structured Pushdown System: Case of Dense Timed Pushdown Automata
This paper investigates a general framework of a pushdown system with well-quasi-ordered states and stack alphabet to show decidability of reachability, which is an extension of our earlier work (Wellstructured Pushdown Systems, CONCUR 2013). As an instance, an alternative proof of the decidability of the reachability for dense-timed pushdown system (in P.A. Abdulla, M.F. Atig, F. Stenman, Dens...
متن کاملWell - structured pushdown system , Part 2 : On Reachability of Dense Timed Pushdown
This paper investigates a general framework of a pushdown system with well-quasi-ordered states and stack alphabet to show decidability of reachability, which is an extension of our earlier work (Wellstructured Pushdown Systems, CONCUR 2013). As an instance, an alternative proof of the decidability of the reachability for dense-timed pushdown system (in P.A. Abdulla, M.F. Atig, F. Stenman, Dens...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Lancet
سال: 1831
ISSN: 0140-6736
DOI: 10.1016/s0140-6736(02)39622-3